Order:
  1.  13
    The determined property of baire in reverse math.Eric P. Astor, Damir Dzhafarov, Antonio Montalbán, Reed Solomon & Linda Brown Westrick - 2020 - Journal of Symbolic Logic 85 (1):166-198.
    We define the notion of a completely determined Borel code in reverse mathematics, and consider the principle $CD - PB$, which states that every completely determined Borel set has the property of Baire. We show that this principle is strictly weaker than $AT{R_0}$. Any ω-model of $CD - PB$ must be closed under hyperarithmetic reduction, but $CD - PB$ is not a theory of hyperarithmetic analysis. We show that whenever $M \subseteq {2^\omega }$ is the second-order part of an ω-model (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  12
    A lightface analysis of the differentiability rank.Linda Brown Westrick - 2014 - Journal of Symbolic Logic 79 (1):240-265.
  3.  11
    Weakly 2-randoms and 1-generics in Scott sets.Linda Brown Westrick - 2018 - Journal of Symbolic Logic 83 (1):392-394.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark